Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
331	Properties of Intuitionistic Provability LogicsRosalie Iemhoff Dick de Jongh Chunlai Zhou Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:46:31 Modal logic Model theory Non-classical logic Philosophical logic Proof theory Normal modal logic First-order logic Propositional calculus Provability logic Mathematical logic Interpretation Modal companion
332	Convergence of Hypervolume-Based Archiving Algorithms I: Effectiveness Karl Bringmann Tobias Friedrich Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:23 Theoretical computer science Algorithm Mathematical logic NC Spectral theory
333	CONSCIOUS LEADERSHIP FOR SUSTAINABILITY: HOW LEADERS WITH A LATE-STAGE ACTION LOGIC DESIGN AND ENGAGE IN SUSTAINABILITY INITIATIVES A dissertation submitted by BARRETT C. BROWN, M.A. Add to Reading List Source URL: integralthinkers.com Language: English - Date: 2011-04-04 19:31:50 American psychologists Mathematical logic Sustainability Don Edward Beck Logic Integral theory Sustainable development
334	Microsoft Word - Final Report Safety Critical Eunite 2003.rtf Add to Reading List Source URL: www.eunite.org Language: English - Date: 2014-12-13 03:39:48 Artificial intelligence Computational neuroscience Computational statistics Neural networks Artificial neural network Mathematical psychology Intelligent control Fuzzy logic Software development process Biological neural network Control theory Cellular neural network
335	Leveraging Algorithms for DATA-POP ALLIANCE Positive Disruption: Add to Reading List Source URL: datapopalliance.org Language: English - Date: 2016-08-01 11:42:29 Machine learning Cybernetics Algorithm Mathematical logic Theoretical computer science Big data Recommender system Statistical classification Program optimization
336	Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
337	Improved Algorithms for Module Extraction and Atomic Decomposition Dmitry Tsarkov School of Computer Science The University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Information science Knowledge representation Technical communication Ontology Mathematical logic Mahlo cardinal Mereology Constructible universe
338	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-01-04 17:45:16 Logic in computer science Fault-tolerant computer systems Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Intuitionistic logic
339	Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Add to Reading List Source URL: plmms09.cse.tamu.edu Language: English - Date: 2009-08-19 04:48:38 Algebraic structures Mathematical logic Algebraic logic Lattice theory Order theory Galois connection Field Heyting algebra Relation algebra variste Galois Residuated lattice Group
340	UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO CARNEGIE MELLON UNIVERSITY The Geometry of Constrained Structured Prediction: Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2012-07-25 04:27:02 Machine learning Structured prediction Algorithm Mathematical logic Theoretical computer science Conditional random field Support vector machine Graphical model

UPDATE